/* dummy for Squeak */
